321. Schirin.

Author:

Library: Library of Islamic Parliament (Tehran)

334. Stochastic automata; constructive theory

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Probabilistic automata,، Constructive mathematics

Classification :
QA
267
.
5
.
S4
.
L6513

336. Studies in constructive mathematics and mathematical logic

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Logic, Symbolic and mathematical

Classification :
QA
9
.
I813